From sets and types to topology and analysis - towards practicable foundations for constructive mathematics
- Författare
- (Edited by Laura Crosilla and Peter Schuster.)
- Genre
- Konferenspublikation, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon Press | 2005 | Storbritannien, Oxford | xix, 350 sidor. ill. 24 cm. | 978-0-19-856651-9 |